During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee masDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee masThe Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Lee masWill appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...
Lee masThe Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...
Lee masShow you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Lee mas"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Lee masThe Game Makers Apprentice shows you how to create nine exciting games using the wildly popular Game Maker game creation ...
Lee masThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lee masDiscover the power of one of the fastest growing programming languages in the world with this insightful new resource Guides ...
Lee masThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
Lee masConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee masThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Lee masThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lee masConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lee masThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee masThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee masThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee mas